A Formal Framework to Specify and Test Systems with Fuzzy-Time Information
نویسندگان
چکیده
We specify the behavior of a sensor network with different sensor stations distributed all along the region of Andalusia (South of Spain). The main goal of this network is the measure of air quality taking into account the maximum levels of certain pollutants. The problem that we try to solve with this formalization is the management of time inaccuracies between the components of a network with the aim of avoiding the malfunctions that are derived from them. We present the formal syntax and semantics of our variant of fuzzy-timed automata and define all the automata corresponding to the different parts of the netowrk.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملOPTIMAL LOT-SIZING DECISIONS WITH INTEGRATED PURCHASING, MANUFACTURING AND ASSEMBLING FOR REMANUFACTURING SYSTEMS
This work applies fuzzy sets to the integration of purchasing, manufacturing and assembling of production planning decisions with multiple suppliers, multiple components and multiple machines in remanufacturing systems. The developed fuzzy multi-objective linear programming model (FMOLP) simultaneously minimizes total costs, total $text{CO}_2$ emissions and total lead time with reference to cus...
متن کاملCOALITIONAL GAME WITH FUZZY PAYOFFS AND CREDIBILISTIC SHAPLEY VALUE
Coalitional game deals with situations that involve cooperations among players, and there are different solution concepts such as the core,the Shapley value and the kernel. In many situations, there is no way to predict the payoff functions except for the expert experiencesand subjective intuitions, which leads to the coalitional game with fuzzy payoffs. Within the framework of credibility theo...
متن کاملFuzzy convergence structures in the framework of L-convex spaces
In this paper, fuzzy convergence theory in the framework of $L$-convex spaces is introduced. Firstly, the concept of $L$-convex remote-neighborhood spaces is introduced and it is shown that the resulting category is isomorphic to that of $L$-convex spaces. Secondly, by means of $L$-convex ideals, the notion of $L$-convergence spaces is introduced and it is proved that the category of $L$-con...
متن کاملSystematic literature review of fuzzy logic based text summarization
Information Overloadrq is not a new term but with the massive development in technology which enables anytime, anywhere, easy and unlimited access; participation & publishing of information has consequently escalated its impact. Assisting userslq informational searches with reduced reading surfing time by extracting and evaluating accurate, authentic & relevant information are the primary c...
متن کامل